#define _CRT_SECURE_NO_WARNINGS 1

#include<stdio.h>
int main()
{
    int a = 0;
    int b = 0;
    int c = 0;
    scanf("%d%d%d", &a, &b, &c);
    double sum = a + b + c;
    double ave = sum / 3;
    if (ave >= 60)
        printf("NO\n");
    else
        printf("YES\n");

    return 0;
}